Exists

Exists[x,expr] represents the statement that there exists a value of x for which expr is True. 

Exists[x,cond,expr] states that there exists an x satisfying the condition cond for which expr is True. 

Exists[{x1,x2,…},expr] states that there exist values for all the xi for which expr is True. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.